821. Certified Programs and Proofs :
Author: edited by Chris Hawblitzel, Dale Miller.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science -- Mathematics -- Congresses.,Computer software -- Congresses.,Formal methods (Computer science) -- Verification -- Congresses.
Classification :
QA76
.
9
.
M35
E358
2012
822. Certified programs and proofs :
Author: Jean-Pierre Jouannaud, Zhong Shao (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics, Congresses
Classification :
QA76
.
9
.
M35
C37
2011eb
823. Chain event graphs /
Author: Rodrigo Collazo, Christiane Görgen, Jim Q. Smith.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Bayesian statistical decision theory.,Mathematical statistics-- Graphic methods.,Trees.,Bayesian statistical decision theory.,Mathematical statistics-- Graphic methods.,MATHEMATICS-- Applied.,MATHEMATICS-- Probability & Statistics-- General.,Trees (Graph theory)
Classification :
QA279
.
5
824. Challenges of teaching with technology across the curriculum :
Author: [edited by] Lawrence A. Tomei
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer-assisted instruction, Handbooks, manuals, etc,Curriculum planning, Handbooks, manuals, etc,Educational technology, Handbooks, manuals, etc
Classification :
LB1028
.
5
.
C478
2003
825. Chaos and fractals :
Author: edited by Clifford A. Pickover.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer graphics.,Fractals.,Computer graphics.,COMPUTERS-- Digital Media-- Graphics Applications.,COMPUTERS-- Image Processing.,Fractals.,PHOTOGRAPHY-- Techniques-- Digital.,TECHNOLOGY & ENGINEERING-- Imaging Systems.
Classification :
T385
.
C453
1998eb
826. Chemical Instabilities
Author: edited by G. Nicolis, F. Baras.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Chemistry.
827. Cite right :
Author: Charles Lipson.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Bibliographical citations.,Bibliography.,Writing.,Références bibliographiques.,Bibliographical citations.,Bibliographical citations.,Citeren.,Wissenschaftliches Manuskript,Wissenschaftliches Manuskript.,Zitat,Zitat.
Classification :
PN171
.
F56
L55
2006
828. Cite right :a quick guide to citation styles--MLA, APA, Chicago, the sciences, professions, and more
Author: Lipson, Charles
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: ، Bibliographical citations
Classification :
PN
171
.
F56
L55
2006
829. Classification, Clustering, and Data Mining Applications :
Author: edited by David Banks, Frederick R. McMorris, Phipps Arabie, Wolfgang Gaul.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Culture -- Study and teaching.,Data structures (Computer science),Library science.
Classification :
QA278
.
E358
2004
830. Classification Theory of Algebraic Varieties and Compact Complex Spaces
Author: by K. Ueno.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Science, general.,Computer science.,Mathematics.
Classification :
QA3
.
B958
1975
831. Classroom assessment for students in special and general education /
Author: Cathleen G. Spinelli.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Children with disabilities-- Education-- United States-- Evaluation.,Educational tests and measurements-- United States.,Inclusive education-- United States-- Evaluation.,Children with disabilities-- Education-- Evaluation.,Educational tests and measurements.,Inclusive education-- Evaluation.,United States., 7
Classification :
LC4031
.
S745
2012
832. Closed object boundaries from scattered points
Author: Remco C. Veltkamp
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer graphics
Classification :
QA
76
.
L28
Vol
.
885
833. Coalgebraic methods in computer science :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer science ; Mathematics ; Congresses. ;
834. Coalgebraic methods in computer science
Author: Dirk Pattinson, Lutz Schröder (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics, Congresses,Computer software-- Mathematics, Congresses
Classification :
QA76
.
9
.
M35
W67
2012eb
835. Coalgebraic methods in computer science :
Author: Corina Cîrstea (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics, Congresses.,Computer software-- Mathematics, Congresses.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming-- software development.,Computer science-- Mathematics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Mathematical theory of computation.,Mathematics-- Logic.
Classification :
QA76
.
9
.
M35
836. Codes
Author: / Richard A. Mollin
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Computer security.,Data encryption (Computer science)
Classification :
QA76
.
9
.
A25M67
2005
837. Codes, cryptology and curves with computer algebra
Author: Ruud Pellikaan, Xin-Wen Wu, Relinde Jurrius.,Pellikaan, R.
Library: Library of College of Science University of Tehran (Tehran)
Subject: Error-correcting codes (Information theory),Curves, Algebraic.,Coding theory.
Classification :
QA268
.
P45
2018
838. Coding Theory and Number Theory
Author: by Toyokazu Hiramatsu, Günter Köhler.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Coding theory.,Computational complexity.,Computer science.,Geometry, Algebraic.,Matrix theory.,Number theory.
839. Coding and Cryptology :
Author: Yeow Meng Chee ... [and others (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Coding theory, Congresses,Cryptography, Congresses,Coding and Information Theory,Computer Science,Data Encryption,Discrete Mathematics in Computer Science
Classification :
QA268
.
I93
2011
840. Coding and quantization
Author: / Robert Calderbank, G. David Forney, Jr., Nader Moayeri, editors
Library: Tehran University, technical faculty libraries 1 (Tehran)
Subject: Telecommunication systems - Congresses,Coding theory - Congresses
Classification :
TK
5102
.
5
.
W69
1992
